Buy Used and New Martin Wirsing Books

Results for Martin Wirsing

Showing 1 to 12 of 16 results
Methods of Programming: Selected Papers on the CIP-Project: 544 (Lecture Notes in Computer Science) Methods of Programming: Selected Papers on the CIP-Project: 544 (Lecture Notes in Computer Science) by Manfred Broy,Martin Wirsing

Methods of Programming: Selected Papers on the CIP-Project: 544 (Lecture Notes in Computer Science)

by Manfred Broy,Martin Wirsing


ISBN 13: 9783540545767

Format: Paperback (288 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $74.31  
New : $74.31
Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science) Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science) by Iman Poernomo,John N. Crossley,Martin Wirsing

Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science)

by Iman Poernomo,John N. Crossley,Martin Wirsing


ISBN 13: 9780387237596

Format: Illustrated (436 pages)
Publisher: Springer
Published: 29 Jul 2005

Save for later

 
New : $206.34  
New : $206.34
Software Engineering for Collective Autonomic Systems: The ASCENS Approach: 8998 (Lecture Notes in Computer Science) Software Engineering for Collective Autonomic Systems: The ASCENS Approach: 8998 (Lecture Notes in Computer Science) by Martin Wirsing,Matthias Hölzl,Nora Koch,Philip Mayer

Software Engineering for Collective Autonomic Systems: The ASCENS Approach: 8998 (Lecture Notes in Computer Science)

by Martin Wirsing,Matthias Hölzl,Nora Koch,Philip Mayer


ISBN 13: 9783319163093

Format: Paperback (552 pages)
Publisher: Springer
Published: 24 Jun 2015

Save for later

 
New : $76.97  
New : $76.97